<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="umsroot.css">
<TITLE>
Overview
</TITLE>
</HEAD>
<BODY >
<A HREF="umsroot003.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="umsroot002.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="umsroot005.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H2 CLASS="section"><A NAME="htoc3">1.2</A>&nbsp;&nbsp;Overview</H2>
<A NAME="@default0"></A>
<A NAME="@default1"></A>
<A NAME="@default2"></A>
<A NAME="@default3"></A>
The ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> logic programming system was originally an integration of
ECRC's SEPIA, MegaLog and (parts of the) CHIP systems.
It was then further developed into a Constraint Logic Programming system
with a focus on hybrid problem solving and solver integration.
The documentation is organised as follows:
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description">
<B>The User Manual</B><DD CLASS="dd-description"> describes the functionality
of the ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> kernel (this document).
<DT CLASS="dt-description"><B>The Constraint Library Manual</B><DD CLASS="dd-description"> describes the major ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> libraries,
in particular the ones implementing constraint solvers.
<DT CLASS="dt-description"><B>The Interfacing and Embedding Manual</B><DD CLASS="dd-description"> describes how to interface
ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> to other programming languages, and in particular how to embed
it into an application as a component.
<DT CLASS="dt-description"><B>The Reference Manual</B><DD CLASS="dd-description"> contains detailed descriptions of all the
Built-in predicates and the libraries. This information is also available
from the development system's help/1 command and the tkeclipse library
browser.
<DT CLASS="dt-description"><B>The Visualisation Manual</B><DD CLASS="dd-description"> describes the facilities for the
visualisation of constraint propagation and search.
</DL>
All the documentation can be accessed using an html browser
(refer to the eclipse installation directory under doc/index.html).<BR>
<BR>
<HR>
<A HREF="umsroot003.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="umsroot002.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="umsroot005.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
